Самая большая электронная библиотека рунета. Поиск книг и журналов

Debugging at the Electronic System Level

Автор: , Автор:
Размер книги: 2.72 Mb

Advanced BDD Optimization

Автор: , Автор: , Автор: , Автор:
Размер книги: 3.62 Mb

Applications of Evolutionary Computing (Lecture Notes in Computer Science, 4448)

Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: Компьютеры
Размер книги: 14.77 Mb

Quality-Driven SystemC Design

Автор: , Автор:
Размер книги: 2.70 Mb

Robustness and Usability in Modern Design Flows

Автор: , Автор:
Размер книги: 1.07 Mb

Towards a Design Flow for Reversible Logic

Автор: , Автор:
Размер книги: 3.49 Mb

Advanced Formal Verification

Автор:
Размер книги: 4.44 Mb

Advanced BDD Optimization

Автор: , Автор: , Автор:
Размер книги: 3.96 Mb

Robustness and Usability in Modern Design Flows

Автор: , Автор:
Размер книги: 769 Kb

Advanced formal verification

Автор:
Размер книги: 2.02 Mb

Test pattern generation using Boolean proof engines

Автор: , Автор: , Автор: , Автор:
Размер книги: 6.22 Mb

Applications of Evolutionary Computing, EvoWorkshops 2004.. EvoBIO

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 12.80 Mb

Applications of Evolutionary Computing, EvoWorkshops 2008.. EvoCOMNET

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 17.10 Mb

Advanced BDD Optimization

Автор: , Автор: , Автор:
Размер книги: 3.46 Mb

Advanced Formal Verification

Автор:
Размер книги: 4.44 Mb

Advanced Formal Verification

Автор:
Размер книги: 4.04 Mb